<HTML><HEAD><TITLE>is_locked(+Module)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Obsolete</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>is_locked(+Module)</H1>
Succeeds if the module Module is locked.


<DL>
<DT><EM>Module</EM></DT>
<DD>Atom.
</DD>
</DL>
<H3>This built-in predicate is obsolete!</H3>
<H2>Description</H2>
   Used to test whether the module Module is locked.

<P>

<H3>Modes and Determinism</H3><UL>
<LI>is_locked(+) is semidet
</UL>
<H3>Fail Conditions</H3>
Fails if the module Module is not locked
<H3>Exceptions</H3>
<DL>
<DT><EM>(4) instantiation fault </EM>
<DD>Module is not instantiated.
<DT><EM>(5) type error </EM>
<DD>Module is instantiated, but not to an atom.
<DT><EM>(80) not a module </EM>
<DD>Module is not a module.
</DL>
<H2>Examples</H2>
<PRE>
Success:
      [eclipse]: create_module(m).
      yes.
      [eclipse]: lock(m, "pass").
      yes.
      [eclipse]: module(m).
      trying to access a locked module in module(m)
      [eclipse]: is_locked(m), unlock(m, "pass").
      yes.
      [eclipse]: is_locked(m).
      no.
      [eclipse]: module(m).
      [m]:
Error:
      is_locked(M).                  (Error 4).
      is_locked(1).                  (Error 5).
      is_locked(not_a_module).       (Error 80).



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/obsolete/lock-1.html">lock / 1</A>, <A HREF="../../kernel/obsolete/lock-2.html">lock / 2</A>, <A HREF="../../kernel/modules/unlock-2.html">unlock / 2</A>, <A HREF="../../kernel/modules/get_module_info-3.html">get_module_info / 3</A>
</BODY></HTML>
